Stratonovich Stochastic Calculus
   HOME

TheInfoList



OR:

In
stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables. Stochastic processes are widely used as mathematical models of systems and phenomena that appea ...
es, the Stratonovich integral (developed simultaneously by
Ruslan Stratonovich Ruslan Leont'evich Stratonovich (russian: Русла́н Лео́нтьевич Страто́нович) was a Russian physicist, engineer, and probabilist and one of the founders of the theory of stochastic differential equations. Biography R ...
and Donald Fisk) is a
stochastic integral Stochastic calculus is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals of stochastic processes with respect to stochastic processes. This field was created an ...
, the most common alternative to the Itô integral. Although the Itô integral is the usual choice in applied mathematics, the Stratonovich integral is frequently used in physics. In some circumstances, integrals in the Stratonovich definition are easier to manipulate. Unlike the
Itô calculus Itô calculus, named after Kiyosi Itô, extends the methods of calculus to stochastic processes such as Brownian motion (see Wiener process). It has important applications in mathematical finance and stochastic differential equations. The centra ...
, Stratonovich integrals are defined such that the
chain rule In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions and in terms of the derivatives of and . More precisely, if h=f\circ g is the function such that h(x)=f(g(x)) for every , ...
of ordinary calculus holds. Perhaps the most common situation in which these are encountered is as the solution to Stratonovich
stochastic differential equation A stochastic differential equation (SDE) is a differential equation in which one or more of the terms is a stochastic process, resulting in a solution which is also a stochastic process. SDEs are used to model various phenomena such as stock pr ...
s (SDEs). These are equivalent to Itô SDEs and it is possible to convert between the two whenever one definition is more convenient.


Definition

The Stratonovich integral can be defined in a manner similar to the
Riemann integral In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göt ...
, that is as a
limit Limit or Limits may refer to: Arts and media * ''Limit'' (manga), a manga by Keiko Suenobu * ''Limit'' (film), a South Korean film * Limit (music), a way to characterize harmony * "Limit" (song), a 2016 single by Luna Sea * "Limits", a 2019 ...
of
Riemann sum In mathematics, a Riemann sum is a certain kind of approximation of an integral by a finite sum. It is named after nineteenth century German mathematician Bernhard Riemann. One very common application is approximating the area of functions or lin ...
s. Suppose that W :
, T The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
\times \Omega \to \mathbb is a
Wiener process In mathematics, the Wiener process is a real-valued continuous-time stochastic process named in honor of American mathematician Norbert Wiener for his investigations on the mathematical properties of the one-dimensional Brownian motion. It is o ...
and X :
, T The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
\times \Omega \to \mathbb is a
semimartingale In probability theory, a real valued stochastic process ''X'' is called a semimartingale if it can be decomposed as the sum of a local martingale and a càdlàg adapted finite-variation process. Semimartingales are "good integrators", forming the l ...
adapted In biology, adaptation has three related meanings. Firstly, it is the dynamic evolutionary process of natural selection that fits organisms to their environment, enhancing their evolutionary fitness. Secondly, it is a state reached by the po ...
to the natural
filtration Filtration is a physical separation process that separates solid matter and fluid from a mixture using a ''filter medium'' that has a complex structure through which only the fluid can pass. Solid particles that cannot pass through the filter ...
of the Wiener process. Then the Stratonovich integral :\int_0^T X_ \circ \mathrm W_t is a random variable : \Omega \to \mathbb defined as the limit in mean square of :\sum_^ \left( W_ - W_ \right) as the
mesh A mesh is a barrier made of connected strands of metal, fiber, or other flexible or ductile materials. A mesh is similar to a web or a net in that it has many attached or woven strands. Types * A plastic mesh may be extruded, oriented, ex ...
of the partition 0 = t_ < t_ < \dots < t_ = T of
, T The comma is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation mark () in many typefaces, but it differs from them in being placed on the baseline ...
/math> tends to 0 (in the style of a
Riemann–Stieltjes integral In mathematics, the Riemann–Stieltjes integral is a generalization of the Riemann integral, named after Bernhard Riemann and Thomas Joannes Stieltjes. The definition of this integral was first published in 1894 by Stieltjes. It serves as an inst ...
).


Calculation

Many integration techniques of ordinary calculus can be used for the Stratonovich integral, e.g.: if f : \mathbb \to \mathbb is a smooth function, then :\int_0^T f'(W_t) \circ \mathrm W_t = f(W_T)-f(W_0) and more generally, if f : \mathbb \times \mathbb \to \mathbb is a smooth function, then :\int_0^T (W_t,t) \circ \mathrm W_t + \int_0^T (W_t,t)\, \mathrmt = f(W_T,T)-f(W_0,0). This latter rule is akin to the chain rule of ordinary calculus.


Numerical methods

Stochastic integrals can rarely be solved in analytic form, making
stochastic Stochastic (, ) refers to the property of being well described by a random probability distribution. Although stochasticity and randomness are distinct in that the former refers to a modeling approach and the latter refers to phenomena themselv ...
numerical integration In analysis, numerical integration comprises a broad family of algorithms for calculating the numerical value of a definite integral, and by extension, the term is also sometimes used to describe the numerical solution of differential equations ...
an important topic in all uses of stochastic integrals. Various numerical approximations converge to the Stratonovich integral, and variations of these are used to solve Stratonovich SDEs . Note however that the most widely used Euler scheme (the
Euler–Maruyama method In Itô calculus, the Euler–Maruyama method (also called the Euler method) is a method for the approximate numerical solution of a stochastic differential equation (SDE). It is an extension of the Euler method for ordinary differential equations ...
) for the numeric solution of Langevin equations requires the equation to be in Itô form.


Differential notation

If X_t, Y_t, and Z_t are stochastic processes such that :X_T-X_0=\int_0^T Y_ \circ \mathrm W_t + \int_0^T Z_ \,\mathrmt for all T > 0, we also write :\mathrmX=Y\circ\mathrmW + Z\,\mathrmt. This notation is often used to formulate
stochastic differential equation A stochastic differential equation (SDE) is a differential equation in which one or more of the terms is a stochastic process, resulting in a solution which is also a stochastic process. SDEs are used to model various phenomena such as stock pr ...
s (SDEs), which are really equations about stochastic integrals. It is compatible with the notation from ordinary calculus, for instance :\mathrm(t^2\,W^3)=3 t^2 W^2\circ\mathrmW + 2t W^3\,\mathrmt.


Comparison with the Itô integral

The Itô integral of the process X with respect to the Wiener process W is denoted by \int_0^T X_ \,\mathrm W_t (without the circle). For its definition, the same procedure is used as above in the definition of the Stratonovich integral, except for choosing the value of the process X at the left-hand endpoint of each subinterval, i.e., :X_ in place of (X_+ X_)/ 2 This integral does not obey the ordinary chain rule as the Stratonovich integral does; instead one has to use the slightly more complicated
Itô's lemma In mathematics, Itô's lemma or Itô's formula (also called the Itô-Doeblin formula, especially in French literature) is an identity used in Itô calculus to find the differential of a time-dependent function of a stochastic process. It serves a ...
. Conversion between Itô and Stratonovich integrals may be performed using the formula :\int_^ f(W_,t) \circ \mathrm W_ = \frac \int_^ (W_,t) \, \mathrm t + \int_^ f(W_,t) \, \mathrm W_, where f is any continuously differentiable function of two variables W and t and the last integral is an Itô integral . Langevin equations exemplify the importance of specifying the interpretation (Stratonovich or Itô) in a given problem. Suppose X_t is a time-homogeneous Itô diffusion with continuously differentiable diffusion coefficient \sigma, i.e. it satisfies the SDE \mathrm X_t = \mu(X_t)\,\mathrm t + \sigma(X_t)\,\mathrm W_t. In order to get the corresponding Stratonovich version, the term \sigma(X_t)\,\mathrm W_t (in Itô interpretation) should translate to \sigma (X_) \circ \mathrm W_ (in Stratonovich interpretation) as :\int_^ \sigma (X_) \circ \mathrm W_ = \frac \int_^ \frac(X_) \sigma(X_) \, \mathrm t + \int_^ \sigma (X_) \, \mathrm W_. Obviously, if \sigma is independent of X_t , the two interpretations will lead to the same form for the Langevin equation. In that case, the noise term is called "additive" (since the noise term dW_t is multiplied by only a fixed coefficient). Otherwise, if \sigma=\sigma(X_t) , the Langevin equation in Itô form may in general differ from that in Stratonovich form, in which case the noise term is called multiplicative (i.e., the noise dW_t is multiplied by a function of X_t that is \sigma(X_t) ). More generally, for any two
semimartingale In probability theory, a real valued stochastic process ''X'' is called a semimartingale if it can be decomposed as the sum of a local martingale and a càdlàg adapted finite-variation process. Semimartingales are "good integrators", forming the l ...
s X and Y :\int_^ X_ \circ \mathrm Y_s = \int_0^T X_\,\mathrmY_s+ \frac ,YT^c, where ,YT^c is the continuous part of the
covariation In probability theory and statistics, covariance is a measure of the joint variability of two random variables. If the greater values of one variable mainly correspond with the greater values of the other variable, and the same holds for the les ...
.


Stratonovich integrals in applications

The Stratonovich integral lacks the important property of the Itô integral, which does not "look into the future". In many real-world applications, such as modelling stock prices, one only has information about past events, and hence the Itô interpretation is more natural. In financial mathematics the Itô interpretation is usually used. In physics, however, stochastic integrals occur as the solutions of Langevin equations. A Langevin equation is a coarse-grained version of a more microscopic model; depending on the problem in consideration, Stratonovich or Itô interpretation or even more exotic interpretations such as the isothermal interpretation, are appropriate. The Stratonovich interpretation is the most frequently used interpretation within the physical sciences. The Wong–Zakai theorem states that physical systems with non-white noise spectrum characterized by a finite noise correlation time \tau can be approximated by a Langevin equations with white noise in Stratonovich interpretation in the limit where \tau tends to zero. Because the Stratonovich calculus satisfies the ordinary chain rule, stochastic differential equations (SDEs) in the Stratonovich sense are more straightforward to define on
differentiable manifold In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
s, rather than just on \mathbb^n. The tricky chain rule of the Itô calculus makes it a more awkward choice for manifolds.


Stratonovich interpretation and supersymmetric theory of SDEs

In the supersymmetric theory of SDEs, one considers the evolution operator obtained by averaging the pullback induced on the
exterior algebra In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is ...
of the phase space by the stochastic flow determined by an SDE. In this context, it is then natural to use the Stratonovich interpretation of SDEs.


Notes


References

* * * * . {{DEFAULTSORT:Stratonovich Integral Definitions of mathematical integration Stochastic calculus